Diversity maximization speedup for localizing faults in single-fault and multi-fault programs

- Xia, Xin; Gong, Liang; Le, Tien-Duy B.; Lo, David; Jiang, Lingxiao; Zhang, Hongyu